add_test_pl_tests(
  "../chain.sh $<TARGET_FILE:cbmc>")
